Argumentation with Defeasible Conditionals: a Preliminary Report (extended Abstract)

نویسنده

  • Henry Prakken
چکیده

This paper investigates the relation between logics for defeasible conditionals and systems for defeasible argumentation. Starting from the assumption that the construction of arguments and the comparison of incompatible arguments are independent phenomena, it is argued that connict resolution plays a role not only in reasoning with, but also in reasoning about defaults. Since in the latter phase hypothetical reasoning is essential, standard natural-deduction is extended with rules for a defeasible conditional; then Vreeswijk's abstract argumentation system is extended with the notion of a hypothetical argument, after which the two systems are combined.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)

In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that t a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as thèlogical core' ...

متن کامل

Modelling Argument Accrual in Possibilistic Defeasible Logic Programming

Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possibilistic uncertainty, notably Possibilistic Defeasible Logic Programming (P-DeLP). At the same time, modelling argument accrual has gained attention from the argumentation community. Even though some preliminary forma...

متن کامل

Relating Concrete Argumentation Formalisms and Abstract Argumentation

There are a wide variety of formalisms for defeasible reasoning that can be seen as implementing concrete argumentation on defeasible rules. However there has been little work on the relationship between such languages and Dung’s abstract argumentation. In this paper we identify two small fragments on which many concrete defeasible formalisms agree. The two fragments are closely related, as we ...

متن کامل

Artificial argument assistants for defeasible argumentation

The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user’s production of arguments. Two systems are presented, ARGUE! and ARGUMED based on DEFLOG. The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally corres...

متن کامل

On argument strength

Everyday life reasoning and argumentation is defeasible and uncertain. I present a probability logic framework to rationally reconstruct everyday life reasoning and argumentation. Coherence in the sense of De Finetti is used as the basic rationality norm. I discuss two basic classes of approaches to construct measures of argument strength. The first class imposes a probabilistic relation betwee...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995